$\forall$$a$,$b$:atom\{2:n\}. decidable(($a$ = $b$))